Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions

International audienceThis paper introduces a systematic approach for estimating the number of solutions of cardinality constraints. A main difficulty of solutions counting on a specific constraint lies in the fact that it is, in general, at least as hard as developing the constraint and its propaga-tors, as it has been shown on alldifferent and gcc constraints. This paper introduces a probabilistic model to systematically estimate the number of solutions on a large family of cardinality constraints including alldifferent, nvalue, atmost, etc. Our approach is based on their decomposition into range and roots, and exhibits a general pattern to derive such estimates based on the edge density of the associated variable-value graph. Our theoretical result is finally implemented within the maxSD search heuristic, that aims at exploring first the area where there are likely more solutions

Direct measurement of antiferromagnetic domain fluctuations

Measurements of magnetic noise emanating from ferromagnets due to domain motion were first carried out nearly 100 years ago and have underpinned much science and technology. Antiferromagnets, which carry no net external magnetic dipole moment, yet have a periodic arrangement of the electron spins extending over macroscopic distances, should also display magnetic noise, but this must be sampled at spatial wavelengths of order several interatomic spacings, rather than the macroscopic scales characteristic of ferromagnets. Here we present the first direct measurement of the fluctuations in the nanometre-scale spin- (charge-) density wave superstructure associated with antiferromagnetism in elemental Chromium. The technique used is X-ray Photon Correlation Spectroscopy, where coherent x-ray diffraction produces a speckle pattern that serves as a "fingerprint" of a particular magnetic domain configuration. The temporal evolution of the patterns corresponds to domain walls advancing and retreating over micron distances. While the domain wall motion is thermally activated at temperatures above 100K, it is not so at lower temperatures, and indeed has a rate which saturates at a finite value - consistent with quantum fluctuations - on cooling below 40K. Our work is important because it provides an important new measurement tool for antiferromagnetic domain engineering as well as revealing a fundamental new fact about spin dynamics in the simplest antiferromagnet.Comment: 19 pages, 4 figure

Risk assessment for the spread of Serratia marcescens within dental-unit waterline systems using Vermamoeba vermiformis

Vermamoeba vermiformis is associated with the biofilm ecology of dental-unit waterlines (DUWLs). This study investigated whether V. vermiformis is able to act as a vector for potentially pathogenic bacteria and so aid their dispersal within DUWL systems. Clinical dental water was initially examined for Legionella species by inoculating it onto Legionella selective-medium plates. The molecular identity/profile of the glassy colonies obtained indicated none of these isolates were Legionella species. During this work bacterial colonies were identified as a non-pigmented Serratia marcescens. As the water was from a clinical DUWL which had been treated with Alpron™ this prompted the question as to whether S. marcescens had developed resistance to the biocide. Exposure to Alpron™ indicated that this dental biocide was effective, under laboratory conditions, against S. marcescens at up to 1x108 colony forming units/millilitre (cfu/ml). V. vermiformis was cultured for eight weeks on cells of S. marcescens and Escherichia coli. Subsequent electron microscopy showed that V. vermiformis grew equally well on S. marcescens and E. coli (p = 0.0001). Failure to detect the presence of S. marcescens within the encysted amoebae suggests that V. vermiformis is unlikely to act as a vector supporting the growth of this newly isolated, nosocomial bacterium

Eisenstein series for infinite-dimensional U-duality groups

We consider Eisenstein series appearing as coefficients of curvature corrections in the low-energy expansion of type II string theory four-graviton scattering amplitudes. We define these Eisenstein series over all groups in the E_n series of string duality groups, and in particular for the infinite-dimensional Kac-Moody groups E9, E10 and E11. We show that, remarkably, the so-called constant term of Kac-Moody-Eisenstein series contains only a finite number of terms for particular choices of a parameter appearing in the definition of the series. This resonates with the idea that the constant term of the Eisenstein series encodes perturbative string corrections in BPS-protected sectors allowing only a finite number of corrections. We underpin our findings with an extensive discussion of physical degeneration limits in D<3 space-time dimensions.Comment: 69 pages. v2: Added references and small additions, to be published in JHE

Kinetics of progenitor hemopoetic stem cells in sepsis: Correlation with patients survival?

BACKGROUND: Current theories underline the crucial role of pro-inflammatory mediators produced by monocytes for the pathogenesis of sepsis. Since monocytes derive from progenitor hemopoetic cells, the kinetics of stem cells was studied in peripheral blood of patients with sepsis. METHODS: Blood was sampled from 44 patients with septic syndrome due to ventilator-associated pneumonia on days 1, 3, 5 and 7 upon initiation of symptoms. Concentrations of tumour necrosis factor-alpha (TNFα), interleukin (IL)-6, IL-8 and G-CSF were estimated by ELISA. CD34/CD45 cells were determined after incubation with anti-CD45 FITC and anti-CD34 PE monocloncal antibodies and flow cytometric analysis. Samples from eight healthy volunteers served as controls. RESULTS: Median of CD34/CD45 absolute count of controls was 1.0/μl. Respective values of the total study population were 123.4, 112.4, 121.5 and 120.9/μl on days 1, 3, 5 and 7 (p < 0.0001 compared to controls). Positive correlations were found between the absolute CD34/CD45 count and the absolute monocyte count on days 1, 5 and 7. Survival was prolonged among patients with less than 310/μl CD34/CD45 cells on day 1 compared to those with more than 310/μl of CD34/CD45 cells (p: 0.022). Hazard ratio for death due to sepsis was 5.47 (p: 0.039) for CD34/CD45 cells more than 310/μl. Median IL-6 on day 1 was 56.78 and 233.85 pg/ml respectively for patients with less than 310/μl and more than 310/μl CD34/CD45 cells (p: 0.021). CONCLUSION: Stem cells are increased in peripheral blood over all days of follow-up compared to healthy volunteers. Patients with counts on day 1 less than 310/μl are accompanied by increased survival compared to patients with more than 310/μl

Mycoplasma hominis brain abscess following uterus curettage: a case report

<p>Abstract</p> <p>Introduction</p> <p><it>Mycoplasma hominis </it>is mostly known for causing urogenital infections. However, it has rarely been described as an agent of brain abscess.</p> <p>Case presentation</p> <p>We describe a case of <it>M. hominis </it>brain abscess in a 41-year-old Caucasian woman following uterus curettage. The diagnosis was obtained by 16S rDNA amplification, cloning and sequencing from the abscess pus, and confirmed by a specifically designed real-time polymerase chain reaction assay.</p> <p>Conclusions</p> <p>Findings from our patient's case suggest that <it>M. hominis </it>should be considered as a potential agent of brain abscess, especially following uterine manipulation.</p

Up-regulation of Toll-like receptors 2, 3 and 4 in allergic rhinitis

BACKGROUND: Toll-like receptors enable the host to recognize a large number of pathogen-associated molecular patterns such as bacterial lipopolysaccharide, viral RNA, CpG-containing DNA and flagellin. Toll-like receptors have also been shown to play a pivotal role in both innate and adaptive immune responses. The role of Toll-like receptors as a primary part of our microbe defense system has been shown in several studies, but their possible function as mediators in allergy and asthma remains to be established. The present study was designed to examine the expression of Toll-like receptors 2, 3 and 4 in the nasal mucosa of patients with intermittent allergic rhinitis, focusing on changes induced by exposure to pollen. METHODS: 27 healthy controls and 42 patients with seasonal allergic rhinitis volunteered for the study. Nasal biopsies were obtained before and during pollen season as well as before and after allergen challenge. The seasonal material was used for mRNA quantification of Toll-like receptors 2, 3 and 4 with real-time polymerase chain reaction, whereas specimens achieved in conjunction with allergen challenge were used for immunohistochemical localization and quantification of corresponding proteins. RESULTS: mRNA and protein representing Toll-like receptors 2, 3 and 4 could be demonstrated in all specimens. An increase in protein expression for all three receptors could be seen following allergen challenge, whereas a significant increase of mRNA only could be obtained for Toll-like receptor 3 during pollen season. CONCLUSION: The up-regulation of Toll-like receptors 2, 3 and 4 in the nasal mucosa of patients with symptomatic allergic rhinitis supports the idea of a role for Toll-like receptors in allergic airway inflammation

Asteroseismology and Interferometry

Asteroseismology provides us with a unique opportunity to improve our understanding of stellar structure and evolution. Recent developments, including the first systematic studies of solar-like pulsators, have boosted the impact of this field of research within Astrophysics and have led to a significant increase in the size of the research community. In the present paper we start by reviewing the basic observational and theoretical properties of classical and solar-like pulsators and present results from some of the most recent and outstanding studies of these stars. We centre our review on those classes of pulsators for which interferometric studies are expected to provide a significant input. We discuss current limitations to asteroseismic studies, including difficulties in mode identification and in the accurate determination of global parameters of pulsating stars, and, after a brief review of those aspects of interferometry that are most relevant in this context, anticipate how interferometric observations may contribute to overcome these limitations. Moreover, we present results of recent pilot studies of pulsating stars involving both asteroseismic and interferometric constraints and look into the future, summarizing ongoing efforts concerning the development of future instruments and satellite missions which are expected to have an impact in this field of research.Comment: Version as published in The Astronomy and Astrophysics Review, Volume 14, Issue 3-4, pp. 217-36

An HDG Method for Dirichlet Boundary Control of Convection Dominated Diffusion PDE

We first propose a hybridizable discontinuous Galerkin (HDG) method to approximate the solution of a \emph{convection dominated} Dirichlet boundary control problem. Dirichlet boundary control problems and convection dominated problems are each very challenging numerically due to solutions with low regularity and sharp layers, respectively. Although there are some numerical analysis works in the literature on \emph{diffusion dominated} convection diffusion Dirichlet boundary control problems, we are not aware of any existing numerical analysis works for convection dominated boundary control problems. Moreover, the existing numerical analysis techniques for convection dominated PDEs are not directly applicable for the Dirichlet boundary control problem because of the low regularity solutions. In this work, we obtain an optimal a priori error estimate for the control under some conditions on the domain and the desired state. We also present some numerical experiments to illustrate the performance of the HDG method for convection dominated Dirichlet boundary control problems